Extension of Strongly Regular Graphs

The Friendship theorem states that if any two people in a party have exactly one common friend, then there exists a politician who is a friend of everybody. In this paper, we generalize the Friendship Theorem. Let λ be any nonnegative integer and μ be any positive integer. Suppose each pair of friends have exactly λ common friends and each pair of strangers have exactly μ common friends in a party. The corresponding graph is a generalization of strongly regular graphs obtained by relaxing the regularity property on vertex degrees. We prove that either everyone has exactly the same number of friends or there exists a politician who is a friend of everybody. As an immediate consequence, this implies a recent conjecture by Limaye et. al.